Implication Details

Assumptions: self-dual, subobject classifier

Conclusions: quotient object classifier

Reason: This holds by self-duality.